<!DOCTYPE html>
<body>
  <portal src="portal-with-text-portal.html"></portal>
</body>
